大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFIP WG 6.1 International Symposium on Protocol Specification 的图书(共10386本)

Research and Education in Robotics - EUROBOT 2009 [electronic resource] : International Conference, La Fert茅-Bernard, France, May 21-23, 2009, Revised Selected Papers

0
索取号：
作者：Gottscheber、 Achim.、Obdr啪谩lek、 David.、Schmidt、 Colin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Production Management Systems. New Challenges, New Approaches [electronic resource] : IFIP WG 5.7 International Conference, APMS 2009, Bordeaux, France, September 21-23, 2009, Revised Selected Papers

0
索取号：
作者：Vallespir、 Bruno.、Alix、 Th猫cle.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Ubiquitous Intelligence and Computing [electronic resource] : 7th International Conference, UIC 2010, Xi鈥檃n, China, October 26-29, 2010. Proceedings

0
索取号：
作者：Yu、 Zhiwen.、Liscano、 Ramiro.、Chen、 Guanling.、Zhang、 Daqing.、Zhou、 Xingshe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Information Security and Cryptology [electronic resource] : 5th International Conference, Inscrypt 2009, Beijing, China, December 12-15, 2009. Revised Selected Papers

0
索取号：
作者：Bao、 Feng.、Yung、 Moti.、Lin、 Dongdai.、Jing、 Jiwu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Information Computing and Applications [electronic resource] : International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II

0
索取号：
作者：Zhu、 Rongbo.、Zhang、 Yanchun.、Liu、 Baoxiang.、Liu、 Chunfeng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Information Computing and Applications [electronic resource] : International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I

0
索取号：
作者：Zhu、 Rongbo.、Zhang、 Yanchun.、Liu、 Baoxiang.、Liu、 Chunfeng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Intelligent Information Processing V [electronic resource] : 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010. Proceedings

0
索取号：
作者：Shi、 Zhongzhi.、Vadera、 Sunil.、Aamodt、 Agnar.、Leake、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

String Processing and Information Retrieval [electronic resource] : 17th International Symposium, SPIRE 2010, Los Cabos, Mexico, October 11-13, 2010. Proceedings

0
索取号：
作者：Chavez、 Edgar.、Lonardi、 Stefano.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Rewriting Logic and Its Applications [electronic resource] : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

0
索取号：
作者：脰lveczky、 Peter Csaba.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Business Process Modeling Notation [electronic resource] : Second International Workshop, BPMN 2010, Potsdam, Germany, October 13-14, 2010. Proceedings

0
索取号：
作者：Mendling、 Jan.、Weidlich、 Matthias.、Weske、 Mathias.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Modeling Decisions for Artificial Intelligence [electronic resource] : 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010. Proceedings

0
索取号：
作者：Torra、 Vicen莽.、Narukawa、 Yasuo.、Daumas、 Marc.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Semantic Web Rules [electronic resource] : International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings

0
索取号：
作者：Dean、 Mike.、Hall、 John.、Rotolo、 Antonino.、Tabet、 Said.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Software Services for e-World [electronic resource] : 10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2010, Buenos Aires, Argentina, November 3-5, 2010. Proceedings

0
索取号：
作者：Cellary、 Wojciech.、Estevez、 Elsa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Provable Security [electronic resource] : 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings

0
索取号：
作者：Heng、 Swee-Huay.、Kurosawa、 Kaoru.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Model-Based Engineering of Embedded Real-Time Systems [electronic resource] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

0
索取号：
作者：Giese、 Holger.、Karsai、 Gabor.、Lee、 Edward.、Rumpe、 Bernhard.、Sch盲tz、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Integrated Formal Methods [electronic resource] : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

0
索取号：
作者：M茅ry、 Dominique.、Merz、 Stephan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.